OPAL[5]

Technical University of Berlin

A strongly-typed, higher-order, strict applicative language with algebraic specification. It uses parameterized structures rather than polymorphism.

"OPAL: Design and Implementation of an Algebraic Programming Language", available by ftp.